منابع مشابه
A traceable optimistic fair exchange protocol in the standard model
An Optimistic Fair Exchange (OFE) protocol is a good way for two parties to exchange their digital items in a fair way such that at the end of the protocol execution, both of them receive their items or none of them receive anything. In an OFE protocol there is a semi-trusted third party, named arbitrator, which involves in the protocol if it is necessary. But there is a security problem when a...
متن کاملStandard ML Signatures for a Protocol Stack
This paper describes the design of a protocol stack implemented in Standard ML. Standard ML's signatures are a language construct which can be used to specify or constrain the interface of a module. The design includes both a generic signature which generalizes all the protocol modules, and individual signatures speci c to each protocol module. The speci c signatures all inherit from the generi...
متن کاملDisturbance and clonal reproduction determine liana distribution and maintain liana diversity in a tropical forest.
Negative density dependence (NDD) and habitat specialization have received strong empirical support as mechanisms that explain tree species diversity maintenance and distribution in tropical forests. In contrast, disturbance appears to play only a minor role. Previous studies have rarely examined the relative strengths of these diversity maintenance mechanisms concurrently, and few studies have...
متن کاملEvaluation of a standard protocol for retentive encopresis: a replication.
Replicated the efficacy of a short-term, combined medical and behavioral intervention protocol for retentive encopresis. Fifty-nine children who had failed standard medical management for retentive encopresis and their parents participated in six 1-hour group treatment sessions. Treatment protocol combined the medical management strategies of enema clean out, increasing dietary fiber, and daily...
متن کاملA mia madre Liana ed a Rosanna
The sematics of Petri nets has been investigated in several different ways.Apart from the classical “token game”, we can model the behaviour of Petri nets vianon-sequential processes, via algebraic approaches, which view Petri nets as essentiallyalgebraic theories whose models are monoidal categories, and, in the case of safe nets, viaunfolding constructions, which provide forma...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Biotropica
سال: 2006
ISSN: 0006-3606
DOI: 10.1111/j.1744-7429.2006.00134.x